English computational logic: translation to other languages